
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "paper"
%%% End: 

\newcommand{\word}{\mathit{word}}
\newcommand{\isArgument}{\mathit{argument}}
\newcommand{\sense}{\mathit{sense}}
\newcommand{\lemma}{\mathit{lemma}}
\newcommand{\ppos}{\mathit{ppos}}
\newcommand{\plemma}{\mathit{plemma}}
\newcommand{\voice}{\mathit{voice}}
\newcommand{\cpos}{\mathit{cpos}}
\newcommand{\role}{\mathit{role}}
\newcommand{\hasRole}{\mathit{hasRole}}
\newcommand{\feat}{\mathit{feat}}
\newcommand{\dep}{\mathit{dep}}
\newcommand{\myframe}{\mathit{frame}}
\newcommand{\mypath}{\mathit{path}}
\newcommand{\pathFrame}{\mathit{pathFrame}}
\newcommand{\pathFrameDist}{\mathit{pathFrameDist}}
\newcommand{\predicate}{\mathit{predicate}}
\newcommand{\possibleArg}{\mathit{possibleArg}}

\newcommand{\R}{\mathcal{R}}
\newcommand{\T}{\mathcal{T}}
\newcommand{\bv}{\mathbf{v}}
\newcommand{\score}{s}
\newcommand{\obs}{\x_{o}}
\newcommand{\imp}{\Rightarrow}
\newcommand{\equi}{\Leftrightarrow}
\newcommand{\boldc}{\mathbf{c}}
\newcommand{\boldv}{\mathbf{v}}


\newcommand{\w}{\mathbf{w}}
\newcommand{\Y}{\mathcal{Y}}
\newcommand{\Yvar}{\mathbf{Y}}
\newcommand{\F}{F}
\newcommand{\opti}{\hat{\x}_{h}}
\newcommand{\f}{\mathbf{f}}
\newcommand{\x}{\mathbf{x}}
\newcommand{\y}{\mathbf{y}}
\newcommand{\ybest}{\hat{\y}}
\newcommand{\h}{\mathbf{h}}
\newcommand{\X}{\mathbf{X}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\argmax}[1]{\underset{#1}{\text{arg max}}}
\newcommand{\guess}{\y'}
\newcommand{\Real}{\mathbb{R}}
\newcommand{\Int}{\mathbb{N}}
\newcommand{\bilevel}{\left\langle \Gamma,M\right\rangle }
\newcommand{\vocab}{\text{Vocabulary}}
\newcommand{\reduct}{\text{Reduct}}
\newcommand{\lforall}{\dot{\forall}}
\newcommand{\sscore}{\varsigma_{M}}
\newcommand{\cand}{\text{Cand}}
\newcommand{\unroll}{\text{Unroll}}
\newcommand{\ground}{\text{Ground}}
\newcommand{\mater}{\text{Materialize}}
\newcommand{\inner}{\text{Inner}}
\newcommand{\mapmodel}{\hat{N}}
\newcommand{\prob}{p}
\newcommand{\separate}{\text{Separate}}
\newcommand{\solve}{\text{solve}}
\newcommand{\MAP}{\text{MAP}}
\newcommand{\boldG}{\mathbf{G}}
\newcommand{\round}{\text{Round}}
\newcommand{\fracsolve}{\text{fractional-solve}}
\newcommand{\fractionals}{\text{Fractionals}}
\newcommand{\atoms}{\text{Atoms}}
\newcommand{\aux}{\lambda}
\newcommand{\smokes}{\forall x.\forall y.friends\left(x,y\right)\wedge smokes\left(x\right)\Rightarrow smokes\left(y\right)}
\newcommand{\data}{\mathcal{D}}
\newcommand{\I}{\mathbb{I}}
\newcommand{\Cliques}{\mathcal{C}}
\newcommand{\weightedsmokes}{\forall x.\forall y.\left(friends\left(x,y\right)\wedge smokes\left(x\right)\Rightarrow smokes\left(y\right)\left[w_{smokes}\right]\right)}
\newcommand{\ilpy}{\mathbf{a}}
\newcommand{\powerset}{\mathcal{P}}
\newcommand{\innersmokes}{friends\left(x,y\right)\wedge smokes\left(x\right)\Rightarrow smokes\left(y\right)}
\newcommand{\annasmokes}{smokes\left(Anna\right),friends\left(Anna,Peter\right)}
\newcommand{\finitevocab}{\left\{  \left\{  smokes,friends\right\}  ,\left\{  \right\}  ,\left\{  Anna,Peter\right\}  ,\left\{  x,y\right\}  \right\}  }
\newcommand{\determin}{\text{Deterministic}}
\newcommand{\nondeter}{\text{Nondeterministic}}

